// file: Timer.h


void ConfigureTimer2(void);
void ResetTimer(void);
unsigned long GetTime(void);
